You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 281 - 320 hits of 1035. Search took 0.19 seconds.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

Search results for coq :

Filename	Distribution	File size
coq-emacs-8.3pl2-2.fc16.noarch.rpm	Fedora 16	25 kB	Info
coq-emacs-8.3pl2-2.fc15.noarch.rpm	Fedora 15	25 kB	Info
coq-emacs-8.3pl2-1.fc15.noarch.rpm	Fedora 15	24 kB	Info
coq-emacs-8.3pl1-2.x86_64.rpm	PLD	21 kB
coq-emacs-8.3pl1-2.i686.rpm	PLD	21 kB
coq-emacs-8.3pl1-2.i486.rpm	PLD	21 kB
coq-emacs-8.3pl1-1.x86_64.rpm	PLD	22 kB
coq-emacs-8.3pl1-1.i686.rpm	PLD	22 kB
coq-emacs-8.3pl1-1.i486.rpm	PLD	22 kB
coq-emacs-8.2pl1-1.fc12.x86_64.rpm	Fedora 12	13 kB	Info
coq-emacs-8.2pl1-1.fc12.x86_64.rpm	Fedora 13	13 kB	Info
coq-emacs-8.2pl1-1.fc12.x86_64.rpm	Fedora 14	13 kB	Info
coq-emacs-8.2pl1-1.fc12.i686.rpm	Fedora 12	13 kB	Info
coq-emacs-8.2pl1-1.fc12.i686.rpm	Fedora 13	13 kB	Info
coq-emacs-8.2pl1-1.fc12.i686.rpm	Fedora 14	13 kB	Info
coq-emacs-8.2-1.fc11.x86_64.rpm	Fedora 11	12 kB	Info
coq-emacs-8.2-1.fc11.i586.rpm	Fedora 11	12 kB	Info
coq-emacs-8.2-1.fc10.x86_64.rpm	Fedora 10	11 kB	Info
coq-emacs-8.2-1.fc10.i386.rpm	Fedora 10	11 kB	Info
coq-emacs-8.1pl4-3.fc9.x86_64.rpm	Fedora 9	10 kB	Info
coq-emacs-8.1pl4-3.fc9.ppc64.rpm	Fedora 9	10 kB
coq-emacs-8.1pl4-3.fc9.ppc.rpm	Fedora 9	10 kB
coq-emacs-8.1pl4-3.fc9.i386.rpm	Fedora 9	10 kB	Info
coq-emacs-8.1pl4-3.fc11.x86_64.rpm	Fedora 11	11 kB	Info
coq-emacs-8.1pl4-3.fc11.i586.rpm	Fedora 11	11 kB	Info
coq-emacs-8.1pl3-5.fc8.x86_64.rpm	Fedora 8	9 kB	Info
coq-emacs-8.1pl3-5.fc8.ppc.rpm	Fedora 8	9 kB
coq-emacs-8.1pl3-5.fc8.i386.rpm	Fedora 8	9 kB	Info
coq-emacs-8.1pl3-5.fc10.x86_64.rpm	Fedora 10	9 kB	Info
coq-emacs-8.1pl3-5.fc10.i386.rpm	Fedora 10	9 kB	Info
coq-doc-8.9.1-5.fc31.noarch.rpm	Fedora 31	13428 kB	Info
coq-doc-8.9.1-4.fc31.noarch.rpm	Fedora 31	13378 kB	Info
coq-doc-8.8.2-2.fc30.noarch.rpm	Fedora 30	14564 kB	Info
coq-doc-8.7.1-7.fc29.noarch.rpm	Fedora 29	6349 kB	Info
coq-doc-8.7.1-2.fc28.noarch.rpm	Fedora 28	6361 kB	Info
coq-doc-8.6.1-1.fc27.noarch.rpm	Fedora 27	6037 kB	Info
coq-doc-8.6-2.fc26.noarch.rpm	Fedora 26	6029 kB	Info
coq-doc-8.6-1.fc25.noarch.rpm	Fedora 25	6028 kB	Info
coq-doc-8.5pl2-1.fc25.noarch.rpm	Fedora 25	5965 kB	Info
coq-doc-8.5pl2-1.fc24.noarch.rpm	Fedora 24	5965 kB	Info

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18